Product recognition in store shelves as a sub-graph isomorphism problem

The arrangement of products in store shelves is carefully planned to maximize sales and keep customers happy. However, verifying compliance of real shelves to the ideal layout is a costly task routinely performed by the store personnel. In this paper, we propose a computer vision pipeline to recognize products on shelves and verify compliance to the planned layout. We deploy local invariant features together with a novel formulation of the product recognition problem as a sub-graph isomorphism between the items appearing in the given image and the ideal layout. This allows for auto-localizing the given image within the aisle or store and improving recognition dramatically.Comment: Slightly extended version of the paper accepted at ICIAP 2017. More information @project_page --> http://vision.disi.unibo.it/index.php?option=com_content&view=article&id=111&catid=7

Optimal Depth, Very Small Size Circuits for Symmetrical Functions in AC0

AbstractIt is well known which symmetric Boolean functions can be computed by constant depth, polynomial size, unbounded fan-in circuits, i.e., which are contained in the complexity class AC0. This result is sharpened. Symmetric Boolean functions in AC0 can be computed by unbounded fan-in circuits with the following properties. If the optimal depth of AC0-circuits is d, the depth is at most d + 2, the number of wires is almost linear, namely n logO(1)n, and the number of gates is subpolynomial (but superpolylogarithmic), namely 2O(logδn) for some δ < 1

Molecular Data are Transforming Hypotheses on the Origin and Diversification of Eukaryotes

The explosion of molecular data has transformed hypotheses on both the origin of eukaryotes and the structure of the eukaryotic tree of life. Early ideas about the evolution of eukaryotes arose through analyses of morphology by light microscopy and, later, electron microscopy. Though such studies have proven powerful at resolving more recent events, theories on origins and diversification of eukaryotic life have been substantially revised in light of analyses of molecular data including gene and, increasingly, whole-genome sequences. By combining these approaches, progress has been made in elucidating the origin and diversification of eukaryotes. Yet many aspects of the evolution of eukaryotic life remain to be illuminated

QuickXsort: Efficient Sorting with n log n - 1.399n +o(n) Comparisons on Average

In this paper we generalize the idea of QuickHeapsort leading to the notion of QuickXsort. Given some external sorting algorithm X, QuickXsort yields an internal sorting algorithm if X satisfies certain natural conditions. With QuickWeakHeapsort and QuickMergesort we present two examples for the QuickXsort-construction. Both are efficient algorithms that incur approximately n log n - 1.26n +o(n) comparisons on the average. A worst case of n log n + O(n) comparisons can be achieved without significantly affecting the average case. Furthermore, we describe an implementation of MergeInsertion for small n. Taking MergeInsertion as a base case for QuickMergesort, we establish a worst-case efficient sorting algorithm calling for n log n - 1.3999n + o(n) comparisons on average. QuickMergesort with constant size base cases shows the best performance on practical inputs: when sorting integers it is slower by only 15% to STL-Introsort

Verifying proofs in constant depth

In this paper we initiate the study of proof systems where verification of proofs proceeds by NC circuits. We investigate the question which languages admit proof systems in this very restricted model. Formulated alternatively, we ask which languages can be enumerated by NC functions. Our results show that the answer to this problem is not determined by the complexity of the language. On the one hand, we construct NC proof systems for a variety of languages ranging from regular to NP-complete. On the other hand, we show by combinatorial methods that even easy regular languages such as Exact-OR do not admit NC proof systems. We also present a general construction of proof systems for regular languages with strongly connected NFA's

Collective oscillations driven by correlation in the nonlinear optical regime

We present an analytical and numerical study of the coherent exciton polarization including exciton-exciton correlation. The time evolution after excitation with ultrashort optical pulses can be divided into a slowly varying polarization component and novel ultrafast collective modes. The frequency and damping of the collective modes are determined by the high-frequency properties of the retarded two-exciton correlation function, which includes Coulomb effects beyond the mean-field approximation. The overall time evolution depends on the low-frequency spectral behavior. The collective mode, well separated from the slower coherent density evolution, manifests itself in the coherent emission of a resonantly excited excitonic system, as demonstrated numerically.Comment: 4 pages, 4 figures, accepted for publication in Physical Review Letter

Intercomparison of Hantzsch and fiber-laser-induced-fluorescence formaldehyde measurements

Two gas-phase formaldehyde (HCHO) measurement techniques, a modified commercial wet-chemical instrument based on Hantzsch fluorimetry and a custom-built instrument based on fiber laser-induced fluorescence (FILIF), were deployed at the atmospheric simulation chamber SAPHIR (Simulation of Atmospheric PHotochemistry In a large Reaction Chamber) to compare the instruments' performances under a range of conditions. Thermolysis of para-HCHO and ozonolysis of 1-butene were used as HCHO sources, allowing for calculations of theoretical HCHO mixing ratios. Calculated HCHO mixing ratios are compared to measurements, and the two measurements are also compared. Experiments were repeated under dry and humid conditions (RH 60%) to investigate the possibility of a water artifact in the FILIF measurements. The ozonolysis of 1-butene also allowed for the investigation of an ozone artifact seen in some Hantzsch measurements in previous intercomparisons. Results show that under all conditions the two techniques are well correlated (R2 ≥ 0.997), and linear regression statistics show measurements agree with within stated uncertainty (15% FILIF + 5% Hantzsch). No water or ozone artifacts are identified. While a slight curvature is observed in some Hantzsch vs. FILIF regressions, the potential for variable instrument sensitivity cannot be attributed to a single instrument at this time. Measurements at low concentrations highlight the need for a secondary method for testing the purity of air used in instrument zeroing and the need for further FILIF White cell outgassing experiments